Space-Aware Ambients and Processes

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

A Type Inference Algorithm for Secure Ambients

We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We present a bottom-up algorithm that, given an untyped process $P$, computes a minimal set of constraints on security levels such that all actions during runs of $P$ are performed without violating the security level priorities. Such an algorithm appears to be a prerequisite to use type systems to ensure security properties in the web scenario

Polymorphic intersection type assignment for rewrite systems with abstraction and -rul

We define two type assignment systems for first-order rewriting extended with application, -abstraction, and -reduction, using a combination of intersection types and second-order polymorphic types. The first system is the general one, for which we prove subject reduction, and strong normalisation of typeable terms. The second is a decidable subsystem of the first, by restricting to rank 2 (intersection and quantified) types. For this system we define, using an extended notion of unification, a notion of principal typing which is more general than ML’s principal type property, since also the types for the free variables of terms are inferre

Review about comorbidities of behavioural disorders in children and adolescents: The focus on attention-deficit/hyperactivity disorder

Disruptive behavior disorders (DBD) present high comorbidity rate mainly for opposite-defiant disorders that are frequent among children, adolescents and adults affected by with attention deficit and hyperactivity disorder (ADHD), probably as result of common temperamental risk factors such as attention, distraction, impulsivity. ADHD tend to manifest in about 50% of individuals diagnosed as disruptive behavioral disorders

Behavioural disorders in children and adolescents: A conceptual review about the therapeutic alliance with family and school

Aim: In disruptive behavioral disorders, given the wide range of symptomatic manifestations and the complexity of the sociofamiliar contexts in which they develop, it is now proven that more visible and more stable results can be achieved over time through multimodal and multidimensional interventions. These are accomplished through the integration of psychotherapeutic interventions for the child and parents, counseling interventions for all the various practitioners who come into contact with the child in school, sports, and social settings, through the possibility of organizing multiple settings in patient can be followed by several health professionals such as child and adolescent neuropsychiatrist, neuropsychomotricist, occupation therapist, psychologist

The behavioral parenting interventions (BPT) for support and mandatory integrative therapy for children and adolescents affected by disruptive behavioural disorders: A brief review

The behavioral parenting interventions (BPT), commonly abbreviated as parent training, is a program conducted by an expert with the specific purpose of improving or modifying parental practices in order to promote the child's well-being, increasing parenting skills in the daily management of the child, problem solving and reducing the level of parenting and family stress. BPT presents many positive effects on children or adolescents affected by neurodevelopmental disorder such as ADHD, autism and cognitive dysfunction but BPT appears to improve also other proximal outcomes such as parenting competence and parenting stress

Falta de estructura genética en las poblaciones chipriotas de Alectoris chukar (Aves, Galliformes), deducida de los datos de secuenciación del ADNmt

The Chukar (Alectoris chukar cypriotes) is the most common game bird in Cyprus. Since 1990 the Cypriot Government has established a restocking program with captive–reared birds. However, this program has not been guaranteed by checking the genetic nature of wild and farmed samples, either in the areas controlled by the Cypriot Government or in northern Cyprus. The sequencing of both Cytochrome–b and Control Region of the mitochondrial DNA was carried out for 61 Cypriot representatives and 14 specimens of the same subspecies from Crete and Israel. Only the A. chukar maternal lineage was found. A partitioning of Cypriot specimens among different clades was not reliably supported, whereas robust bootstrap values weighted for an evolutionary divergence between Cypriot and Cretan Chukars. An overall genetic homogeny of the Cypriot populations was disclosed, whatever their status (captive vs. wild stocks) and origin (Government controlled vs. occupied areas) would be, a higher nucleotide diversity of the wild vs. captive representatives notwithstanding. Key words: Chukar, Control Region, Cytochrome–b, Genetic diversity, mtDNA, Partridges.Una subespecie de la perdiz chucar (Alectoris chukar cypriotes) es el ave de caza más común de Chipre. A partir de 1990 el gobierno chipriota estableció un programa de repoblación utilizando aves criadas en cautividad. No obstante, dicho programa no ha sido avalado mediante la comprobación de la naturaleza genética de muestras tanto de ejemplares salvajes como de granja, ni en las zonas controladas por el gobierno chipriota ni en el norte de Chipre. Se ha llevado a cabo la secuenciación del citocromo-b y de la región de control del ADN mitocondrial de 61 ejemplares chipriotas y de 14 especimenes de la misma subespecie de Creta y de Israel. Sólo se encontró el linaje materno de A. chukar. No se pudo demostrar con fiabilidad el reparto de los especimenes chipriotas en distintos clados, mientras que unos valores bootstrap muy consistentes sustentaban una divergencia evolutiva entre las perdices chucar chipriotas y cretenses. Se reveló la existencia de una homogeneidad genética en las poblaciones chipriotas, cualquiera que fuera su estatus (linajes cautivos frente a salvajes) o su origen (zonas controladas por el gobierno frente a zonas ocupadas), por más que se diera una mayor diversidad de nucleótidos de los ejemplares salvajes frente a los cautivos. Palabras clave: Perdiz chucar, Región de control, Citocromo-b, Diversidad genética, ADNmt, Perdices

Reversing Single Sessions

Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we investigate how these structured interactions are affected by reversibility, which provides a computational model allowing executed interactions to be undone. In particular, we provide a systematic study of the integration of different notions of reversibility in both binary and multiparty single sessions. The considered forms of reversibility are: one for completely reversing a given session with one backward step, and another for also restoring any intermediate state of the session with either one backward step or multiple ones. We analyse the costs of reversing a session in all these different settings. Our results show that extending binary single sessions to multiparty ones does not affect the reversibility machinery and its costs

Phylogeography of the smooth-coated otter (Lutrogale perspicillata): distinct evolutionary lineages and hybridization with the Asian small clawed otter (Aonyx cinereus)

We investigated the phylogeography of the smooth-coated otter (Lutrogale perspicillata) to determine its spatial genetic structure for aiding an adaptive conservation management of the species. Fifty eight modern and 11 archival (dated 1882–1970) otters sampled from Iraq to Malaysian Borneo were genotyped (mtDNA Cytochrome-b, 10 microsatellite DNA loci). Moreover, 16 Aonyx cinereus (Asian small-clawed otter) and seven Lutra lutra (Eurasian otter) were sequenced to increase information available for phylogenetic reconstructions. As reported in previous studies, we found that L. perspicillata, A. cinereus and A. capensis (African clawless otter) grouped in a clade sister to the genus Lutra, with L. perspicillata and A. cinereus being reciprocally monophyletic. Within L. perspicillata, we uncovered three Evolutionarily Significant Units and proved that L. p. maxwelli is not only endemic to Iraq but also the most recent subspecies. We suggest a revision of the distribution range limits of easternmost L. perspicillata subspecies. We show that smooth-coated otters in Singapore are L. perspicillata x A. cinereus hybrids with A. cinereus mtDNA, the first reported case of hybridization in the wild among otters. This result also provides evidence supporting the inclusion of L. perspicillata and A. cinereus in the genus Amblonyx, thus avoiding the paraphyly of the genus Aonyx